- logic primitive
- логический примитив, базовая логическая функция
The New English-Russian Dictionary of Radio-electronics. F.V Lisovsky . 2005.
logic primitive
Смотреть что такое "logic primitive" в других словарях:
Primitive recursive arithmetic — Primitive recursive arithmetic, or PRA, is a quantifier free formalization of the natural numbers. It was first proposed by Skolem [Thoralf Skolem (1923) The foundations of elementary arithmetic in Jean van Heijenoort, translator and ed. (1967)… … Wikipedia
Primitive accumulation of capital — is a concept introduced by Karl Marx in part 8 of the first volume of Das Kapital (in German: ursprüngliche Akkumulation , literally original accumulation or primeval accumulation ). Its purpose is to help explain how the capitalist mode of… … Wikipedia
Primitive — Студийный альбом Soulfly Дата выпуска 26 сентября 2000 Записан The Saltmine Studio Oasis, Меса, Аризона Жанр … Википедия
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Primitive recursive function — The primitive recursive functions are defined using primitive recursion and composition as central operations and are a strict subset of the recursive functions (recursive functions are also known as computable functions). The term was coined by… … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Primitive (album) — Infobox Album | Name = Primitive Type = Album Artist = Soulfly Released = September 26, 2000 Recorded = The Saltmine Studio Oasis in Mesa, Arizona Genre = Alternative metal, nu metal Length = 52:16 Label = Roadrunner Producer = Toby Wright Max… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… … Wikipedia
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
